翻訳と辞書 Words near each other ・ F. A. de Meuron ・ F. A. DeCanizares House ・ F. A. Dry ・ F. A. Forbes ・ F&W Media International ・ F'Kirina District ・ F'Murr ・ F'Real ・ F(g) Scholar ・ F(R) gravity ・ F(x) ・ F(x) (band) ・ F(x) concert tours ・ F(x) discography ・ F* ・ F* (programming language) ・ F*** Off, I'm a Hairy Woman ・ F*** Off, I'm Ginger ・ F*INK ・ F+ ・ F+ (pitch) ・ F+A Architects ・ F+F School for Art and Media Design Zurich ・ F+W ・ F+W C-3605 ・ F-010 ・ F-1 (arcade game) ・ F-1 (nuclear reactor) ・ F-1 (satellite) ・ F-1 Dream Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク F* (programming language) ： ウィキペディア英語版 F* (programming language) F * (pronounced ''F star'') is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties. The F * type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F * can be translated to OCaml or F# for execution. Previous versions of F * could also be translated to JavaScript. The latest version of F * is written entirely in F *, and bootstraps in OCaml and F#. It is open source (under the Apache 2.0 License) and is (under active development ) on GitHub. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「F* (programming language)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.